Mr Georgi Nakov
Teaching Associate
Computer and Information Sciences
Back to staff profile
Publications
- LabMate : a prospectus for types for MATLAB
- McBride Conor, Nakov Georgi, Nordvall Forsberg Fredrik, Videla Andre, Forbes Alistair, Lines Keith
- Measurement: Sensors (2025)
- https://doi.org/10.1016/j.measen.2024.101460
- Measuring with confidence : leveraging expressive type systems for correct-by-construction software
- McBride Conor, Nakov Georgi, Nordvall Forsberg Fredrik
- Acta IMEKO Vol 12 (2023)
- https://doi.org/10.21014/actaimeko.v12i1.1412
- Quantitative polynomial functors
- Nakov Georgi, Nordvall Forsberg Fredrik
- 27th International Conference on Types for Proofs and Programs (TYPES 2021) Leibniz International Proceedings in Informatics, LIPIcs Vol 239, pp. 10:1--10:22 (2022)
- https://doi.org/10.4230/LIPIcs.TYPES.2021.10
- Quantitative polynomial functors
- Nakov Georgi, Forsberg Fredrik Nordvall
- 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021) 9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021 Leibniz International Proceedings in Informatics (LIPIcs) Vol 211, pp. 22:1-22:5 (2021)
- https://doi.org/10.4230/LIPIcs.CALCO.2021.22
Back to staff profile
Professional Activities
- Contributed long talk TYPES 2022: TypOS: An “Operating System” for Typechecking Actors
- Contributor
- 22/6/2022
- Contributed talk TYPES 2021: "Quantitative polynomial functors"
- Speaker
- 16/6/2021
Back to staff profile
Contact
Mr
Georgi
Nakov
Teaching Associate
Computer and Information Sciences
Email: georgi.nakov@strath.ac.uk
Tel: Unlisted